Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
781	Reprint T H E C O N N E C T E D E N T E R P R I S E Add to Reading List Source URL: www.enterrasolutions.com Language: English - Date: 2015-01-01 12:35:42 Data analysis Scientific method Analytics Knowledge Business Business intelligence Science Formal sciences
782	Pattern Matching in DAME using Grid Enabled AURA Technology Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2004-09-24 11:00:11 Formal languages Data analysis Data mining Pattern matching Lookup table Regular expression Database Bitmap index Computing Computer programming Data management
783	DATA SCIENCE AND BIG DATA ANALYTICS DATA SHEET REVI S ED : [removed] Add to Reading List Source URL: d1fto35gcfffzn.cloudfront.net Language: English - Date: 2015-01-19 16:59:34 Science Formal sciences Analytics Mathematical finance Big data Apache Hadoop Vertica Data analysis ADAPA Business intelligence Data management Technology
784	The Landscape of Big Data for Development Key Actors and Major Research Themes Bapu Vaitla UN Foundation/Data2X Add to Reading List Source URL: data2x.org Language: English - Date: 2014-12-13 18:36:20 Telehealth Data analysis MHealth Data mining Nathan Eagle Big data Surveillance Mobile phone Technology Formal sciences Health informatics
785	Text Analytics A business guide February 2014 Contents Add to Reading List Source URL: butleranalytics.com Language: English - Date: 2014-02-01 14:23:02 Data management Data analysis Formal sciences Natural language processing Statistical natural language processing Analytics Text mining Text analytics Data mining Science Business intelligence Statistics
786	Journal of Machine Learning Research[removed]934 Submitted 9/08; Revised 1/09; Published 4/09 Java-ML: A Machine Learning Library Thomas Abeel Add to Reading List Source URL: www.jmlr.org Language: English - Date: 2009-04-24 16:54:55 Data analysis Cybernetics Search algorithms Weka Formal sciences K-means clustering Cluster analysis Feature selection K-nearest neighbor algorithm Statistics Machine learning Computational statistics
787	Lead Investigator: Thomas Koch, Ph.D Dean of the College of Optical Sciences Current Team Members: College of Optical Sciences College of Engineering – Matthew Kupinski – J. W. Rozenblit Add to Reading List Source URL: www.iarpa.gov Language: English - Date: 2014-03-06 18:49:08 Data analysis Science Knowledge Insurance Predictive analytics Data mining Analytics Machine learning Business intelligence Formal sciences Statistics
788	GRIDGAIN.COM CASE STUDY Intelligentpipe Leverages GridGain In-Memory Data Fabric for Real-Time Analytics Add to Reading List Source URL: www.gridgain.com Language: English - Date: 2014-10-21 18:40:58 Data analysis Formal sciences Emerging technologies Big data Data modeling Transaction processing Analytics Truviso HPCC Data management Technology Business intelligence
789	Quarterly Bulletin 2015 Q1 86 Big data and central banks By David Bholat of the Bank’s Advanced Analytics Division.(1) Add to Reading List Source URL: www.bankofengland.co.uk Language: English - Date: 2015-03-11 13:32:21 Data management Business intelligence Data quality Information science Data mining Data architecture Bank regulation Data analysis Big data Formal sciences Science Information
790	Microsoft Word - Biomedical-Informatics-Course-Outline.doc Add to Reading List Source URL: www2.latech.edu Language: English - Date: 2013-11-01 17:16:16 Medical informatics Formal sciences Data analysis Data mining Health informatics Biomedical scientist Computer science Computational informatics Medicine Health Science

UPDATE